Kant, Bolzano, and the Formality of Logic

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers who held that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).

Kant, Morality, and Hell

In this paper I argue that, although Kant argues that morality is independent of God (and hence, agrees with the Euthyphro), and rejects Divine Command Theory (or Theological Voluntarism), he believes that all moral duties are also the commands of God, who is a moral being, and who is morally required to punish those who transgress the moral law: "God’s justice is the precise allocation of punishments and rewards in accordance with men’s good or bad behavior." However, since we lack a strict proof of God's existence, we can still fulfill our duties from the motive of duty. if we did know that God exists, then this would undermine our pure moral motivation to do our duty, since we would have an even stronger interest in pleasing God through our good conduct. The effect of undermining our pure moral motivation would be to make us less eligible for divine reward, since God rewards us for doing our duty from the motive of duty

Infinity

Prose by Eric Baugh. Finalist in the 2018 Manuscripts Prose Contest

From an axiological standpoint

I maintain that intrinsic value is the fundamental concept of axiology. Many contemporary philosophers disagree; they say the proper object of value theory is final value. I examine three accounts of the nature of final value: the first claims that final value is non‐instrumental value; the second claims that final value is the value a thing has as an end; the third claims that final value is ultimate or non‐derivative value. In each case, I argue that the concept of final value described is either identical with the classical notion of intrinsic value or is not a plausible candidate for the primary concept of axiology

Kcne4 deletion sex- and age-specifically impairs cardiac repolarization in mice.

Myocardial repolarization capacity varies with sex, age, and pathology; the molecular basis for this variation is incompletely understood. Here, we show that the transcript for KCNE4, a voltage-gated potassium (Kv) channel β subunit associated with human atrial fibrillation, was 8-fold more highly expressed in the male left ventricle compared with females in young adult C57BL/6 mice (P < 0.05). Similarly, Kv current density was 25% greater in ventricular myocytes from young adult males (P < 0.05). Germ-line Kcne4 deletion eliminated the sex-specific Kv current disparity by diminishing ventricular fast transient outward current (Ito,f) and slowly activating K(+) current (IK,slow1). Kcne4 deletion also reduced Kv currents in male mouse atrial myocytes, by >45% (P < 0.001). As we previously found for Kv4.2 (which generates mouse Ito,f), heterologously expressed KCNE4 functionally regulated Kv1.5 (the Kv α subunit that generates IKslow1 in mice). Of note, in postmenopausal female mice, ventricular repolarization was impaired by Kcne4 deletion, and ventricular Kcne4 expression increased to match that of males. Moreover, castration diminished male ventricular Kcne4 expression 2.8-fold, whereas 5α-dihydrotestosterone (DHT) implants in castrated mice increased Kcne4 expression >3-fold (P = 0.01) to match noncastrated levels. KCNE4 is thereby shown to be a DHT-regulated determinant of cardiac excitability and a molecular substrate for sex- and age-dependent cardiac arrhythmogenesis

Compact Floor-Planning via Orderly Spanning Trees

Floor-planning is a fundamental step in VLSI chip design. Based upon the concept of orderly spanning trees, we present a simple O(n)-time algorithm to construct a floor-plan for any n-node plane triangulation. In comparison with previous floor-planning algorithms in the literature, our solution is not only simpler in the algorithm itself, but also produces floor-plans which require fewer module types. An equally important aspect of our new algorithm lies in its ability to fit the floor-plan area in a rectangle of size (n-1)x(2n+1)/3. Lower bounds on the worst-case area for floor-planning any plane triangulation are also provided in the paper.Comment: 13 pages, 5 figures, An early version of this work was presented at 9th International Symposium on Graph Drawing (GD 2001), Vienna, Austria, September 2001. Accepted to Journal of Algorithms, 200